Equational specification of partial higher-order algebras
نویسندگان
چکیده
منابع مشابه
Spectral algebras for strong equational classes of partial algebras
As it is well known, the generalization of universal-algebraic notions to partial algebras yields different kinds of homomorphisms, subalgebras, validity of equations etc. Three types of equations: existential, weak and strong, have been investigated by many algebraists with interesting results on algebraic characterization of equationally definable classes of partial algebras. One of the most ...
متن کاملQuasi-Equational Logic for Partial Algebras
In the line of introducing a manageable model theoretic approach to partial algebras, here such classes of partial algebras are to be considered in which free algebras still exist (in a categorical language: which are epireflective). This note is to be understood as one among others introducing this kind of model theory (in another one, see [4], varieties of partial algebras are considered). We...
متن کاملHigher-Order Equational Unification via Explicit Substitutions
We show how to reduce the uniication problem modulo-conversion and a rst-order equational theory E, into a rst-order uni-cation problem in a union of two non-disjoint equational theories including E and a calculus of explicit substitutions. A rule-based uniica-tion procedure in this combined theory is described and may be viewed as an extension of the one initially designed by G. Dowek, T. Hard...
متن کاملHigher-Order Equational Pattern Anti-Unification [Preprint]
We consider anti-unification for simply typed lambda terms in associative, commutative, and associativecommutative theories and develop a sound and complete algorithm which takes two lambda terms and computes their generalizations in the form of higher-order patterns. The problem is finitary: the minimal complete set of generalizations contains finitely many elements. We define the notion of op...
متن کاملHigher order peak algebras
Using the theory of noncommutative symmetric functions, we introduce the higher order peak algebras (Sym(N))N≥1, a sequence of graded Hopf algebras which contain the descent algebra and the usual peak algebra as initial cases (N = 1 and N = 2). We compute their Hilbert series, introduce and study several combinatorial bases, and establish various algebraic identities related to the multisection...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1988
ISSN: 0304-3975
DOI: 10.1016/0304-3975(88)90162-4